Large cardinal

Results: 69



#Item
31Set theory / Mahlo cardinal / Cofinality / Cardinal number / Ordinal number / Constructible universe / Diamond principle / Forcing / Weakly compact cardinal / Mathematical logic / Large cardinals / Mathematics

Contents I Stationary Sets 3

Add to Reading List

Source URL: www.math.psu.edu

Language: English - Date: 2007-07-22 22:46:09
32Computability theory / Proof theory / Theory of computation / Cardinal numbers / Ordinal notation / Limit ordinal / Recursively enumerable set / Recursive ordinal / Large countable ordinal / Mathematical logic / Mathematics / Ordinal numbers

Objective mathematics in a finite unbounded universe Paul Budnik Mountain Math Software [removed] February 24, 2014

Add to Reading List

Source URL: www.mtnmath.com

Language: English - Date: 2014-02-24 17:59:08
33Mathematics / Cardinal number / Mahlo cardinal / Constructible universe / Inaccessible cardinal / Large cardinals / Mathematical logic / Set theory

Axiomatic Set Theory: Problem sheet 7 1. Prove that for any infinite cardinal κ, cf (κ) is a regular cardinal. 2. Suppose κ, λ are infinite cardinals such that κ ≥ λ. Prove that if λ ≥ cf (κ), then κλ > κ.

Add to Reading List

Source URL: people.maths.ox.ac.uk

Language: English - Date: 2009-02-02 11:27:43
34Metalogic / Forcing / Zermelo–Fraenkel set theory / Equiconsistency / Set theory / Large cardinal / Saharon Shelah / Model theory / Mathematical proof / Mathematics / Logic / Mathematical logic

THE FUTURE OF SET THEORY Saharon Shelah Abstract. Judah has asked me to speak on the future of set theory, so, as the next millennium is coming, to speak on set theory in the next millennium. But we soon cut this down t

Add to Reading List

Source URL: shelah.logic.at

Language: English - Date: 2004-02-29 16:34:20
35Philosophy of mathematics / Unfoldable cardinal / Weakly compact cardinal / C*-algebra / Indescribable cardinal / Boolean algebra / Cardinal number / Model theory / Forcing / Large cardinals / Mathematical logic / Mathematics

Final Report on the Advanced EPSRC Fellowship, Mirna Dˇ zamonja Background/Context Research of the PI is in set theory and its connections with other fields of mathematics. She has a very interdisciplinary approach and

Add to Reading List

Source URL: www.uea.ac.uk

Language: English - Date: 2007-12-10 11:21:19
36Aronszajn tree / Large cardinals / Cardinal number / Supercompact cardinal

Microsoft Word - Nam Trang _05.28_.doc

Add to Reading List

Source URL: www.math.ac.cn

Language: English - Date: 2014-05-26 23:23:49
37Z notation / Set theory / Zermelo–Fraenkel set theory / Axiom of choice / Axiom / Large cardinal / S / Philosophy of mathematics / Cardinal number / Mathematical logic / Logic / Mathematics

PDF Document

Add to Reading List

Source URL: www.super-scientist-guru-rupnathji.netau.net

Language: English - Date: 2013-01-22 04:56:23
38Ordinal numbers / Set theory / Cardinal number / Constructible universe / Ordinal arithmetic / Transfinite induction / Mahlo cardinal / Woodin cardinal / Mathematical logic / Large cardinals / Mathematics

Gra¸bczewski & Paulson Mechanizing Set Theory Mechanizing Set Theory: Cardinal Arithmetic and the Axiom of Choice

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2003-04-29 07:49:46
39Cardinal numbers / Large cardinals / Set theory / Axiom of choice / Zermelo–Fraenkel set theory / Constructible universe / First-order logic / Mathematical proof / Successor cardinal / Mathematical logic / Mathematics / Logic

Mechanizing Set Theory Cardinal Arithmetic and the Axiom of Choice Lawrence C. Paulson Computer Laboratory, University of Cambridge email: [removed]

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2003-04-29 07:49:46
40Set theory / Ordinal numbers / Symbol / Cofinality / Stable theory / Tree / Constructible universe / Cardinal number / Weakly compact cardinal / Mathematical logic / Large cardinals / Mathematics

ON HANF NUMBERS OF THE INFINITARY ORDER PROPERTY DRAFT RAMI GROSSBERG AND SAHARON SHELAH

Add to Reading List

Source URL: www.math.cmu.edu

Language: English - Date: 1998-06-09 14:32:15
UPDATE